马恩东方社会发展理论与中国特色社会主义

探讨马恩东方社会发展理论的原意,深入理解跨越"卡夫丁峡谷"的设想与现实社会主义实践的关系,对我国进行社会主义建设具有重要的理论价值。"五种社会形态"的演变与跨越"卡夫丁峡谷"思想并不是自相矛盾的,人类社会总体上是沿着"五种社会形态"依次更替的,这是在把人类社会看作一个整体的情况下,但是,具体的国家根据实际情况可以有不同的演进方式。现实社会主义在成功跨越了资本主义制度之后,面临的首要问题是如何巩固和发展社会主义,"跨越卡夫丁峡谷"设想的真正价值在于它开启了在生产力不够发达的中国如何建设社会主义这一关键问题的命题以及所提供的方法论指导意义。     

火积理论在高炉冷却壁性能评价中的应用

基于火积理论分析得出了高炉冷却壁的火积平衡方程式以及冷却壁中的火积耗散.在此基础上定义了高炉冷却壁的热阻.根据最小热阻原理,提出用高炉冷却壁的热阻来评价其传热性能的优劣的观点,通过实例说明了高炉冷却壁热阻的计算方法,比较了不同冷却水管间距下冷却壁热面最高温度及热阻之间的关系.结果表明,随着冷却水管间距的改变,冷却壁热阻与热面最高温度有相同的变化趋势.在一定的边界条件下,高炉冷却壁的热阻可以评价其传热性能的优劣.     

面向液力变矩器负载的泵轮动态转矩估计模型

为解决传统液力变矩器泵轮转矩静态模型与其实际载荷特征的非关联性问题,实现液力变矩器在初始配置设计中与发动机的动态性能匹配,提出面向液力变矩器负载特征的泵轮动态转矩估计模型.在对现有液力变矩器模型分析的基础上,得出一元束流理论模型比质量弹簧阻尼系统模型更全面,其泵轮动态转矩考虑了液力变矩器的载荷特征,以此提出液力变矩器泵轮转矩模型的载荷波动项概念;通过基于控制变量法的载荷波动项解析,与全面流体动力学仿真试验结果的比较,证明了面向液力变矩器负载特征的泵轮动态转矩估计模型的有效性.该模型对液力变矩器在关联整机载荷特征的动态初始配置设计中具有较好的指导作用.     

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software(CBS) reliability modeling and analysis,and a lack of consideration for real debugging circumstance of integration testing,a CBS reliability process analysis model is proposed incorporating debugging time delay,imperfect debugging and limited debugging resources.CBS integration testing is formulated as a multiqueue multichannel and finite server queuing model(MMFSQM) to illustrate fault detection process(FDP) and fault correction process(FCP).A unified FCP is sketched,given debugging delay,the diversities of faults processing and the limitations of debugging resources.Furthermore,the impacts of imperfect debugging on fault detection and correction are explicitly elaborated,and the expressions of the cumulative number of fault detected and corrected are illustrated.Finally,the results of numerical experiments verify the effectiveness and rationality of the proposed model.By comparison,the proposed model is superior to the other models.The proposed model is closer to real CBS testing process and facilitates software engineer's quantitatively analyzing,measuring and predicting CBS reliability.     

曲面论高斯方程公式的几种形式的推导方法

考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程.     

环形石墨烯纳米结构的等离激元激发

基于含时密度泛函理论,研究了环形石墨烯纳米结构的等离激元激发.在低能共振区,和同尺度大小的石墨烯纳米结构相比,环形石墨烯纳米结构光谱的主要吸收峰发生了红移;体系中有两种主要的等离激元共振模式:低能成键模式和高能反键模式.此外,环形石墨烯纳米结构的等离激元激发对体系尺度的大小也有一定的依赖性.     

LiH(D,T)同位素分子从头算的解析势能函数

首先, 利用LiH实验光谱常数和同位素效应推导出LiT分子的光谱学常数. 根据双原子分子的光谱学常数, 力常数, 解析势能函数参数同实验测量的光谱常数间的关系, 推导出LiH和LiD分子的力常数和Murrel-Sorbie解析势能函数参数. 其次, 在核间距平衡点两侧谐振频率范围内取若干点, 用量子化学QCISD(T)方法和6-311++(3df, 2pd)基组对LiH及其氢同位素分子进行单点能计算, 并在Born-Oppenheimer近似下用核动能对电子能量进行修正, 而后进一步拟合为Murrel-Sorbie解析势能函数形式, 得到LiH及其氢同位素分子从头算的解析势能函数参数和力常数. 最后, 对比两种方法推导出的各项参数, 结果说明从头算的修正近似方法是合理的, 可以应用到三原子同位素分子解析势能函数的研究中.     

尼克酰胺核苷构象稳定性的理论研究

采用从头算(HF与MP2)和密度泛函理论(DFT)方法,在3-21G 和6-31+G?水平上研究了尼克酰胺核苷(NR)的构象.分别探讨了在气相及液相(水和氯仿)中 NR 分子和一水合物异构体的相对稳定性,分析了溶剂分子的参与对NR异构体的相对稳定性和几何结构参数的影响.结果表明：孤立的NR分子在气相中存在36种稳定构象,其中最稳定的为南式构象NR-S,而最稳定的北式构象为NR-K’,能量比前者高出10.6 kJ/mol (ΔG298K).NR 分子中酰胺基团优势构象为反式,ω,P 或γ参数的改变可以为 NR 分子提供大约8.4~23.7 kJ/mol(ΔG298K )稳定化能.不管是南式还是北式褶皱,最稳定 NR 分子构象中都存在多根分子内氢键,且5’-OH 基团都为顺式构象(γ≈-63°).溶剂效应使一部分NR分子构象相对稳定性降低,而一部分则升高,改变了NR分子各构象的相对稳定性顺序.水分子的加入与酰胺基团结合形成氢键,对NR分子的构型影响较大,而与糖环上羟基结合形成氢键,则影响较小.     

扶手椅型单壁碳纳米管的尺寸对布洛芬分子手性转变的限域影响

用量子力学和分子力学相结合的ONIOM(B3LYP/6-31+g(d,p)∶UFF)方法,研究SWCNT((8,8),(7,7),(6,6))内的布洛芬(IBU)分子结构和手性转变机理,在ONIOM(B3LYP/6-311++g(2df,pd)∶UFF)水平计算单点能.分子结构研究表明:与单体IBU分子相比,受限于SWCNT(6,6)时,羧基C与它的两个O的键长,羧基C与手性C的键长明显减小,导致手性C和羰基O以及羧基两个O的间距明显缩短.随着管径的增加,IBU分子结构变化变得不明显.手性转变反应通道研究表明:在SWCNT(8,8)内存在两个反应通道,一是手性碳上的氢直接以羰基氧为桥梁转移到手性碳的另一侧;二是氢先在羧基内转移,从羟基转移到羰基,而后手性碳上的氢再以羰基氧为桥梁转移到手性碳的另一侧.在SWCNT(7,7)和SWCNT(6,6)内只存在第二通道.反应势能面计算发现:IBU分子在SWCNT(6,6)内,羧基内氢转移和氢从手性碳转移到羰基的能垒明显降低,从单体的143.9和306.4kJ·mol-1分别降到123.3和246.3kJ·mol-1;在SWCNT(7,7)内降低的幅度次之,在SWCNT(8,8)内降低幅度很小.结果表明:IBU限域在SWCNT内时的氢转移反应能垒随管径减小而降低.     

荷电旋量玻色气体热力学性质的研究

在平均场理论的框架下,讨论了荷电旋量玻色气体的热力学性质,结果表明系统的熵和比热容随朗德因子的增大而减小.熵和比热容均随温度单调增加直至饱和,并且它们随温度的演化没有出现相变点.